# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header:  $

inherit eutils

DESCRIPTION="Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic."
HOMEPAGE="http://gappa.gforge.inria.fr/"
SRC_URI="http://gforge.inria.fr/frs/download.php/33305/${P}.tar.gz"

LICENSE="CeCILL"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND="dev-libs/boost"
RDEPEND="${DEPEND}"

src_compile() {
	econf || die
        ./remake || die
}

src_install() {
	dobin src/gappa
}
